Dufourd, D.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Sketch-based pruning of a solution space within a formal geometric constraint solver

C. Essert-Villard, P. Schreck, J.-F. Dufourd

Journal:

Artificial Intelligence

Year:

2000

Language:

english

File:

PDF, 230 KB

english, 2000

2

Formal specification of topological subdivisions using hypermaps

Jean-François Dufourd

Journal:

Computer-Aided Design

Year:

1991

Language:

english

File:

PDF, 1.31 MB

english, 1991

3

An Intuitionistic Proof of a Discrete Form of the Jordan Curve Theorem Formalized in Coq with Combinatorial Hypermaps

Jean-François Dufourd

Journal:

Journal of Automated Reasoning

Year:

2009

Language:

english

File:

PDF, 531 KB

english, 2009

4

Geometric construction by assembling solved subfigures

Jean-François Dufourd, Pascal Mathis, Pascal Schreck

Journal:

Artificial Intelligence

Year:

1998

Language:

english

File:

PDF, 3.21 MB

english, 1998

5

Communicating and migratable interactive multimedia documents

Cyril Concolato, Jean-Claude Dufourd, Jean Le Feuvre, Kyungmo Park, Jaeyeon Song

Journal:

Multimedia Tools and Applications

Year:

2012

Language:

english

File:

PDF, 1.56 MB

english, 2012

6

Impact of environmental factors on mosquito dispersal in the prospect of sterile insect technique control

Dufourd, Claire, Dumont, Yves

Journal:

Computers & Mathematics with Applications

Year:

2013

Language:

english

File:

PDF, 1.94 MB

english, 2013

7

Modeling and Simulations of mosquito dispersal. The case of Aedes albopictus

Dufourd, Claire, Dumont, Yves

Journal:

Year:

2012

Language:

english

File:

PDF, 1.08 MB

english, 2012

8

[Presses Polytech. Univ. Romandes ISCAS 2000 Geneva. 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings - Geneva, Switzerland (28-31 May 2000)] 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353) - MPEG-Pro, an authoring system for MPEG-4

Boughoufalah, S., Dufourd, J.-C., Bouilhaguet, F.

Year:

2000

Language:

english

File:

PDF, 420 KB

english, 2000

9

Algebraic Specification of a 3D-Modeler Based on Hypermaps

Y. Bertrand, J.F. Dufourd

Journal:

CVGIP: Graphical Models and Image Processing

Year:

1994

File:

PDF, 3.11 MB

1994

10

Préforme/aGAPE: a synergy between symbolic cell design and assembly

J.-F. Naviner, J.-C. Dufourd

Journal:

Microprocessing and Microprogramming

Year:

1993

Language:

english

File:

PDF, 289 KB

english, 1993

11

Multimedia adaptation in end-user terminals

Gianluca Di Cagno, Cyril Concolato, Jean Claude Dufourd

Journal:

Signal Processing: Image Communication

Year:

2006

Language:

english

File:

PDF, 695 KB

english, 2006

12

Design and formal proof of a new optimal image segmentation program with hypermaps

Jean-François Dufourd

Journal:

Pattern Recognition

Year:

2007

Language:

english

File:

PDF, 278 KB

english, 2007

13

Updatable timed automata

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 710 KB

english, 2004

14

Formalizing generalized maps in Coq

Christophe Dehlinger, Jean-François Dufourd

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 430 KB

english, 2004

15

Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof

Jean-François Dufourd

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 1.28 MB

english, 2008

16

Timed automata and additive clock constraints

Béatrice Bérard, Catherine Dufourd

Journal:

Information Processing Letters

Year:

2000

Language:

english

File:

PDF, 126 KB

english, 2000

17

Formalizing mathematics in higher-order logic: A case study in geometric modelling

François Puitg, Jean-François Dufourd

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 421 KB

english, 2000

18

A polynomial λ-bisimilar normalization for reset Petri nets

Catherine Dufourd, Alain Finkel

Journal:

Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 397 KB

english, 1999

19

Functional specification and prototyping with oriented combinatorial maps

Jean-François Dufourd, François Puitg

Journal:

Computational Geometry

Year:

2000

Language:

english

File:

PDF, 347 KB

english, 2000

20

Copolymerization of styrene on to cellulose activated by corona

P. Bataille, M. Dufourd, S. Sapieha

Journal:

Polymer International

Year:

1994

Language:

english

File:

PDF, 3.63 MB

english, 1994

21

Algebras and formal specifications in geometric modelling

Jean-François Dufourd

Journal:

The Visual Computer

Year:

1997

Language:

english

File:

PDF, 776 KB

english, 1997

22

A formal specification of geometric refinements

David Cazier, Jean-François Dufourd

Journal:

The Visual Computer

Year:

1999

Language:

english

File:

PDF, 543 KB

english, 1999

23

Formalizing the trading theorem in Coq

Christophe Dehlinger, Jean-François Dufourd

Journal:

Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 543 KB

english, 2004

24

Designing and proving correct a convex hull algorithm with hypermaps in Coq

Christophe Brun, Jean-François Dufourd, Nicolas Magaud

Journal:

Computational Geometry

Year:

2012

Language:

english

File:

PDF, 553 KB

english, 2012

25

Construction of Interactive Programs in Computer Graphics

Jean-François Dufourd

Journal:

Computer Graphics Forum

Year:

1988

Language:

english

File:

PDF, 1.01 MB

english, 1988

26

Locating a transit line using tabu search

Hélène Dufourd, Michel Gendreau, Gilbert Laporte

Journal:

Location Science

Year:

1996

Language:

english

File:

PDF, 1.29 MB

english, 1996

27

LASeR: The lightweight rich media representation standard [Standards in a Nutshell]

Journal:

IEEE Signal Processing Magazine

Year:

2008

Language:

english

File:

PDF, 1.10 MB

english, 2008

28

Syndrome de Gougerot-Sjögren et pupille tonique d’Adie

Vermersch, P., Dufourd-Delalande, S., Defoort-Dhellemmes, S., Stojkovic, T., Launay, D., de Seze, J.

Journal:

Revue Neurologique

Year:

2005

Language:

french

File:

PDF, 81 KB

french, 2005

29

Formal specification and proofs for the topology and classification of combinatorial surfaces

Dehlinger, Christophe, Dufourd, Jean-François

Journal:

Computational Geometry

Year:

2014

Language:

english

File:

PDF, 541 KB

english, 2014

30

[IEEE Comput. Soc. Press European Design and Test Conference EDAC-ETC-EUROASIC - Paris, France (28 Feb.-3 March 1994)] Proceedings of European Design and Test Conference EDAC-ETC-EUROASIC - An optimizable model for process independent symbolic design

Dufourd, J.-C., Naviner, J.-F.

Year:

1994

Language:

english

File:

PDF, 101 KB

english, 1994

31

[IEEE 2009 IEEE Bucharest PowerTech (POWERTECH) - Bucharest, Romania (2009.06.28-2009.07.2)] 2009 IEEE Bucharest PowerTech - Probabilistic study of the maximum penetration rate of renewable energy in an island network

Bayem, H., Capely, L., Dufourd, F., Petit, M.

Year:

2009

Language:

english

File:

PDF, 457 KB

english, 2009

32

[IEEE Comput. Soc. Press ICCI'93: 5th International Conference on Computing and Information - Sudbury, Ont., Canada (27-29 May 1993)] Proceedings of ICCI'93: 5th International Conference on Computing and Information - An efficient parallel solution for the longest increasing subsequence problem

Cerin, C., Dufourd, C., Myoupo, J.-F.

Year:

1993

Language:

english

File:

PDF, 381 KB

english, 1993

33

[IEEE Workshop and Exhibition on MPEG-4 - San Jose, CA, USA (18-20 June 2001)] Proceedings of Workshop and Exhibition on MPEG-4 (Cat. No.01EX511) - Adding delivery support to MPEG-Pro, an authoring system for MPEG-4

Bouilhaguet, F., Concolato, C., Boughoufalah, S., Dufourd, J.-C.

Year:

2002

Language:

english

File:

PDF, 443 KB

english, 2002

34

An MPEG Standard for Rich Media Services

Dufourd, J., Avaro, O., Concolato, C.

Journal:

IEEE Multimedia

Year:

2005

Language:

english

File:

PDF, 452 KB

english, 2005

35

[IEEE 2005 IEEE International Conference on Multimedia and Expo - Amsterdam, The Netherlands (06-06 July 2005)] 2005 IEEE International Conference on Multimedia and Expo - Context-Aware Semantic Adaptation of Multimedia Presentations

Asadi, M.K., Dufourd, J.-C.

Year:

2005

Language:

english

File:

PDF, 65 KB

english, 2005

36

[IEEE 39th Midwest Symposium on Circuits and Systems - Ames, IA, USA (18-21 Aug. 1996)] Proceedings of the 39th Midwest Symposium on Circuits and Systems - Performance-driven interconnection allocation

Mezhoud, A., Dufourd, J.-C., Darbel, N.

Year:

1996

Language:

english

File:

PDF, 262 KB

english, 1996

37

Creating and encoding of cartoons using mpeg-4 bifs: methods and results

Concolato, C., Dufourd, J.-C., Moissinac, J.-C.

Journal:

IEEE Transactions on Circuits and Systems for Video Technology

Year:

2003

Language:

english

File:

PDF, 293 KB

english, 2003

38

[IEEE Comput. Soc. Press 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers - Santa Clara, CA, USA (11-15 Nov. 1990)] 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers - Preform: a process independent symbolic layout system

Dufourd, J.-C., Naviner, J.-F., Jutand, F.

Year:

1990

File:

PDF, 542 KB

1990

39

Formal study of functional orbits in finite domains

Dufourd, Jean-François

Journal:

Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 786 KB

english, 2015

40

Perceived and Actual Knowledge of Diet by Individuals with Non-Insulin-Dependent Diabetes

Watson, J. F., DuFourd, S.

Journal:

The Diabetes Educator

Year:

1992

Language:

english

File:

PDF, 430 KB

english, 1992

41

[IEEE Comput. Soc International Conference on Geometric Modeling and Graphics - London, UK (16-18 July 2003)] 2003 International Conference on Geometric Modeling and Graphics, 2003. Proceedings - Combination of automatic and interactive tools for solution space browsing

Essert-Villard, C., Schreck, P., Mathis, P., Dufourd, J.F.

Year:

2003

Language:

english

File:

PDF, 388 KB

english, 2003

42

SPIE Proceedings [SPIE AeroSense 2002 - Orlando, FL (Monday 1 April 2002)] Unmanned Ground Vehicle Technology IV - Assessment methodology for image processing detectors of unstructured road edges

Dufourd, Delphine, Dalgalarrondo, Andre, Gerhart, Grant R., Shoemaker, Chuck M., Gage, Douglas W.

Year:

2002

Language:

english

File:

PDF, 1001 KB

english, 2002

43

[ACM Press the first ACM symposium - Austin, Texas, United States (1991.06.05-1991.06.07)] Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications - SMA '91 - An OBJ3 functional specification for boundary representation

Dufourd, Jean-François

Year:

1991

Language:

english

File:

PDF, 1.16 MB

english, 1991

44

AIP Conference Proceedings [AIP APPLICATION OF MATHEMATICS IN TECHNICAL AND NATURAL SCIENCES: 3rd International Conference—AMiTaNS'11 - Albena, (Bulgaria) (20–25 June 2011)] - Spatio-temporal Modeling of Mosquito Distribution

Dumont, Y., Dufourd, C., Todorov, Michail D., Christov, Christo I.

Year:

2011

Language:

english

File:

PDF, 192 KB

english, 2011

45

[ACM Press the 9th ACM symposium - Munich, Germany (2009.09.16-2009.09.18)] Proceedings of the 9th ACM symposium on Document engineering - DocEng '09 - Declarative interfaces for dynamic widgets communications

Concolato, Cyril, Le Feuvre, Jean, Dufourd, Jean-Claude

Year:

2009

Language:

english

File:

PDF, 447 KB

english, 2009

46

[ACM Press 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling - San Francisco, California (2009.10.05-2009.10.08)] 2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling on - SPM '09 - Particle-based forecast mechanism for continuous collision detection in deformable environments

Jund, Thomas, Cazier, David, Dufourd, Jean-Francois

Year:

2009

Language:

english

File:

PDF, 2.68 MB

english, 2009

47

[ACM Press the 19th ACM international conference - Scottsdale, Arizona, USA (2011.11.28-2011.12.01)] Proceedings of the 19th ACM international conference on Multimedia - MM '11 - Experimenting with multimedia advances using GPAC

Le Feuvre, Jean, Concolato, Cyril, Dufourd, Jean-Claude, Bouqueau, Romain, Moissinac, Jean-Claude

Year:

2011

Language:

english

File:

PDF, 627 KB

english, 2011

48

[ACM Press the seventh ACM symposium - Saarbr?cken, Germany (2002.06.17-2002.06.21)] Proceedings of the seventh ACM symposium on Solid modeling and applications - SMA '02 - Interacting with parametrized geometric objects using lambda-terms

Dufourd, Jean-Francois, Luther, Sven

Year:

2002

Language:

english

File:

PDF, 290 KB

english, 2002

49

[ACM Press the 18th spring conference - Budmerice, Slovakia (2002.04.24-2002.04.27)] Proceedings of the 18th spring conference on Computer graphics - SCCG '02 - Parametrizing geometric objects using λ-calculus

Dufourd, Jean-François, Luther, Sven

Year:

2002

Language:

english

File:

PDF, 395 KB

english, 2002

50

[IEEE 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566) - Sendai, Japan (28 Sept.-2 Oct., 2004)] 2004 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (IEEE Cat. No.04CH37566) - Combinatorial maps for simultaneous localization and map building (SLAM)

Dufourd, D., Chatila, R., Luzeaux, D.

Year:

2004

Language:

english

File:

PDF, 437 KB

english, 2004